язык вынуждения

См. также в других словарях:

• ВЫНУЖДЕНИЯ МЕТОД — форсинг метод, особый способ доказательства существования моделей аксиоматич. теорий, предложенный П. Козном в 1963 для доказательства совместимости отрицания континуум гипотезы щСН и других теоретико множественных предложений с аксиомами системы …   Математическая энциклопедия

• ДОКАЗАТЕЛЬСТВ ТЕОРИЯ — раздел математич. логики, посвященный исследованию понятия доказательства в математике, приложениям этого понятия в различных разделах науки и техники. Доказательство в широком смысле этого слова есть способ обоснования истинности того или иного… …   Математическая энциклопедия

• АКСИОМАТИЧЕСКАЯ ТЕОРИЯ МНОЖЕСТВ — направление в математич. логике, занимающееся изучением фрагментов содержательной теории множеств методами математич. логики. Обычно с этой целью фрагменты теории множеств оформляются в виде формальной аксиоматич. теории. В более узком смысле… …   Математическая энциклопедия

• БУЛЕВОЗНАЧНАЯ МОДЕЛЬ — модель, определяемая следующим образом. Пусть сигнатура нек poro языка 1 й ступени с одним сортом переменных, т. е. множество символов функций и предикатов. Б. м. наз. тройка где невырожденная булева алгебра, непустое множество и функция,… …   Математическая энциклопедия

• Диалогичность речи письменной — – это выражение в тексте средствами языка взаимодействия общающихся, понимаемого как соотношение смысловых позиций, как учет реакций адресата (в том числе второго Я), а также эксплицирование в тексте признаков собственно диалога. При этом понятие …   Стилистический энциклопедический словарь русского языка

• МАТЕМАТИЧЕСКАЯ ЛОГИКА — теоретическая логика, символическая логика, раздел математики, посвященный изучению математич. доказательств и вопросов оснований математики. Исторический очерк. Идея построения универсального языка для всей математики и формализации на базе… …   Математическая энциклопедия

• Коллекторское агентство — Коллекторское агентство, также известно как долговое агентство (от англ. сollection  сбор)  агентство, профессионально специализирующееся на взыскивании просроченной дебиторской задолженности и проблемной задолженности; форма… …   Википедия

• УБЕЖДЕНИЕ — УБЕДИТЬ, УБЕЖДЕНИЕ Старославянизмам принадлежит главное место в системе о твлеченной лексики русского литературного языка. Все основные понятия, относящиеся к интеллектуальной сфере, выражаются словами старославянского происхождения, например,… …   История слов